Order:
  1.  34
    Functors of Lindenbaum-Tarski, Schematic Interpretations, and Adjoint Cylinders between Sentential Logics.J. Climent Vidal & J. Soliveres Tur - 2008 - Notre Dame Journal of Formal Logic 49 (2):185-202.
    We prove, by using the concept of schematic interpretation, that the natural embedding from the category ISL, of intuitionistic sentential pretheories and i-congruence classes of morphisms, to the category CSL, of classical sentential pretheories and c-congruence classes of morphisms, has a left adjoint, which is related to the double negation interpretation of Gödel-Gentzen, and a right adjoint, which is related to the Law of Excluded Middle. Moreover, we prove that from the left to the right adjoint there is a pointwise (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  2.  16
    A transformation between institutions representing the theorem of herbrand-Schmidt-Wang.J. Climent Vidal & J. Soliveres Tur - 2009 - Bulletin of the Section of Logic 38 (1/2):77-94.
    Direct download  
     
    Export citation  
     
    Bookmark  
  3.  20
    When are profinite many-sorted algebras retracts of ultraproducts of finite many-sorted algebras?J. Climent Vidal & E. Cosme Llópez - 2018 - Logic Journal of the IGPL 26 (4):381-407.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark